大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号:
作者:Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Security Practice and Experience [electronic resource] : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings

0
索取号:
作者:Deng、 Robert H.、Bao、 Feng.、Pang、 HweeHwa.、Zhou、 Jianying.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Communications and Multimedia Security [electronic resource] : 9th IFIP TC-6 TC-11International Conference, CMS 2005, Salzburg, Austria, September 19 鈥ಱ, 2005. Proceedings

0
索取号:
作者:Dittmann、 Jana.、Katzenbeisser、 Stefan.、Uhl、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

0
索取号:
作者:Gl眉ck、 Robert.、Lowry、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

0
索取号:
作者:Luo、 Yuhua.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Secure Data Management [electronic resource] : Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005. Proceedings

0
索取号:
作者:Jonker、 Willem.、Petkovi膰、 Milan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

0
索取号:
作者:Hankin、 Chris.、Siveroni、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Databases in Networked Information Systems [electronic resource] : 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings

0
索取号:
作者:Bhalla、 Subhash.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

0
索取号:
作者:Peled、 Doron A.、Tsay、 Yih-Kuen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

0
索取号:
作者:Bressan、 St茅phane.、Ceri、 Stefano.、Hunt、 Ela.、Ives、 Zachary G.、Bellahs猫ne、 Zohra.、Rys、 Michael.、Unland、 Rainer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

0
索取号:
作者:Beigl、 Michael.、Lukowicz、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Passive and Active Network Measurement [electronic resource] : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings

0
索取号:
作者:Dovrolis、 Constantinos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Discrete Geometry for Computer Imagery [electronic resource] : 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

0
索取号:
作者:Andres、 Eric.、Damiand、 Guillaume.、Lienhardt、 Pascal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

0
索取号:
作者:Bastide、 R茅mi.、Palanque、 Philippe.、Roth、 J枚rg.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类